Model of computation - PDFSEARCH.IO - Document Search Engine

Model of computation
Results: 512

#	Item
491	MFPS XX1 Preliminary Version First Steps in Synthetic Computability Theory Add to Reading List Source URL: math.andrej.com Language: English - Date: 2010-10-25 00:29:28 Computability theory Model theory Functions and mappings Theory of computation Models of computation Function Interpretation First-order logic Constructivism Mathematical logic Mathematics Logic
492	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 23, NO. 5, MAY[removed] Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:28 Formal methods Automata theory Models of computation SPIN model checker Model checking Promela Formal verification Büchi automaton Linear temporal logic Model checkers Theoretical computer science Applied mathematics
493	Relationships between Models of Concurrency Mogens Nielsen∗ Add to Reading List Source URL: www.daimi.au.dk Language: English - Date: 2000-09-12 07:39:17 Abstract algebra State transition system Petri net Structure Determinism Model theory Trace monoid Denotational semantics Communicating sequential processes Models of computation Mathematics Theoretical computer science
494	PDF Document Add to Reading List Source URL: www.me.mtu.edu Language: English - Date: 2007-12-20 17:03:23 GPGPU Concurrent computing Video cards Parallel computing Models of computation Graphics processing unit CUDA Agent-based model Sugarscape Computing Computer hardware Graphics hardware
495	PDF Document Add to Reading List Source URL: www.math.cornell.edu Language: English - Date: 1999-11-30 09:55:10 Logic Metalogic Model theory Constructible universe Theory of computation Forcing Μ operator Primitive recursive function Mathematical logic Mathematics Computability theory
496	PDF Document Add to Reading List Source URL: www.math.rutgers.edu Language: English - Date: 2001-03-24 22:02:56 Computer science Computability theory Computational neuroscience Formal methods Models of computation Neural network Structure Model theory Computability Mathematics Applied mathematics Turing machine
497	PDF Document Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2008-12-02 04:13:40 Theoretical computer science Models of computation Computer science Omega language Deterministic finite automaton Model theory Structure Regular language Nondeterministic finite automaton Automata theory Formal languages Mathematics
498	PDF Document Add to Reading List Source URL: www.engr.uconn.edu Language: English - Date: 2005-04-22 14:06:14 Mathematics Theory of computation Cybernetics Models of computation Multi-agent systems Agent-based model Interactive computation Evolutionary algorithm Algorithm Applied mathematics Theoretical computer science Computer science
499	PDF Document Add to Reading List Source URL: www.daimi.au.dk Language: English - Date: 2006-10-18 14:25:05 Formal methods Concurrency Diagrams Petri net Theoretical computer science Data transmission Model checking Finite-state machine Reachability Models of computation Automata theory Computer science
500	PDF Document Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2009-08-06 21:57:45 Temporal logic Linear temporal logic Model checking Static single assignment form Scheduling Abstraction Semaphore Promela Finite-state machine Computing Software engineering Models of computation

UPDATE